generate-and-test computation
- generate-and-test computation
вычисление с порождением и проверкой вариантов
step by step computation — вычисление по шагам
computation laboratory — лаборатория вычислений
step-by-step computation — пошаговое вычисление
computation of stresses — вычисление напряжений
hybrid computation — аналого-цифровые вычисления
English-Russian big polytechnic dictionary.
2014.
Смотреть что такое "generate-and-test computation" в других словарях:
Comparison of C Sharp and Java — The correct title of this article is Comparison of C# and Java. The substitution or omission of the # sign is because of technical restrictions. Programming language comparisons General comparison Basic syntax Basic instructions … Wikipedia
Automatic test pattern generation — ATPG (acronym for both Automatic Test Pattern Generation and Automatic Test Pattern Generator) is an electronic design automation method/technology used to find an input (or test) sequence that, when applied to a digital circuit, enables testers… … Wikipedia
Miller–Rabin primality test — The Miller–Rabin primality test or Rabin–Miller primality test is a primality test: an algorithm which determines whether a given number is prime, similar to the Fermat primality test and the Solovay–Strassen primality test. Its original version … Wikipedia
Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity. Computer scientist Manindra Agrawal of the… … Universalium
NUS High School of Mathematics and Science — National University of Singapore High School of Mathematics and Science 新加坡国立大学附属数理中学 சிங்கப்பூர் தேசிய பல்கலைக்கழகம் கணிதம் மற்றும் அறிவியல் மேல்நிலைப்பள்ளி Motto: Experiment. Explore. Excel … Wikipedia
Fluid Concepts and Creative Analogies — Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought is a 1995 book by Douglas Hofstadter and other members of the Fluid Analogies Research Group exploring the mechanisms of intelligence through computer … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Computing Machinery and Intelligence — Computing Machinery and Intelligence, written by Alan Turing and published in 1950 in Mind, is a seminal paper on the topic of artificial intelligence in which the concept of what is now known as the Turing test was introduced to a wide audience … Wikipedia
Next-bit test — In cryptography and the theory of computation, the next bit test[1] is a test against pseudo random number generators. We say that a sequence of bits passes the next bit test for at any position i in the sequence, if an attacker knows the i first … Wikipedia
Columbia School of Engineering and Applied Science — School of Engineering and Applied Science redirects here. For other uses, see School of Engineering and Applied Science (disambiguation). Fu Foundation School of Engineering and Applied Science Established … Wikipedia
Timeline of Islamic science and engineering — This timeline of Islamic science and engineering covers the general development of science and technology in the Islamic world during the Islamic Golden Age, usually dated from the 7th to 16th centuries.From the 17th century onwards, the advances … Wikipedia